formal model中文是什么意思

发音:

用"formal model"造句"formal model"怎么读"formal model" in a sentence

中文翻译手机版

形式模型

"formal"中文翻译 adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
"model"中文翻译 n. 1.模型，雏型；原型；设计图；模范；(画家、雕刻家 ...
"abstract formal model" 中文翻译 : 抽象形式模型
"formal semantic model" 中文翻译 : 形式语义模型
"formal spatio-temporal knowledge model" 中文翻译 : 以时空为基底之正规知识模式
"formal" 中文翻译 : adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness
"formal culture [= formal discipline" 中文翻译 : 形式陶冶
"a formal garden" 中文翻译 : 整齐的传统式花园
"a formal occasion" 中文翻译 : 正式场合
"character formal" 中文翻译 : 格式字符
"defect, formal" 中文翻译 : 形式上的瑕疵
"dichlorodiethyl formal" 中文翻译 : 二氯二乙基缩甲醛
"formal 1" 中文翻译 : 公事公办的; 礼节性的; 文绉绉的
"formal = spiffy" 中文翻译 : 正式的
"formal acceptance" 中文翻译 : 形式上承认; 正式接受; 正式验收
"formal accuracy" 中文翻译 : 形式精度
"formal act" 中文翻译 : 正式行为
"formal address" 中文翻译 : 形式地址
"formal adjudication" 中文翻译 : 正式裁决
"formal admission" 中文翻译 : 正式自白, 正式承认, 正式供认
"formal advertising" 中文翻译 : 公告广告, 正式公告; 正式广告
"formal agreement" 中文翻译 : 正式协定; 正式协议
"formal algebra" 中文翻译 : 形式代数
"formal alternation" 中文翻译 : 形式交替
"formal announcement" 中文翻译 : 正式公告, 正式宣布; 正式宣布

例句与用法

Once again, the "soft" nature of these constraints has prevented their inclusion in formal models .
这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。
Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型
Analysis of formal models and methods on mobile computing
移动计算形式理论分析与研究
A formal model of workflow net
一种形式化的工作流网模型
Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
On the other hand , important specifications such as the infoset a formal model of the information nodes in an xml document should be established at the foundations
另一方面，象infoset （ xml文档中信息节点的正式模型）这样的重要规范应该建立在此基础上。
With the use of mascl , the concept of cooperation commitment of cooperation process in multi - agent systems is defined , and the formal model of cooperation commitment is proposed
以mascl为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。
Also , heuristic analysis of security and performance analysis are made on the seak protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对seak协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。
Also , a heuristic analysis of security and performance analysis is made on the sakc protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对sakc协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。
After introducing the logic and establishing its relationship to the formal model of multi - agent system , we put forward an axiomatisation of vsk - af logic , and systematically discuss its rationality
在提出了vsk - af逻辑并且建立了它与多agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。